#include <algorithm>
#include <cstdio>
#include <set>
using namespace std;
const int N=100050;
int uf[N];
int a,b;
int r[N];
int find(int x){
    return uf[x]==x ? x : uf[x]=find(uf[x]);
}
void join(int a,int b){
    int fa=find(a);
    int fb=find(b);
    if(fa!=fb){
        if(r[fa]<r[fb]){
            uf[fa]=fb;
            r[fb]=max(r[fb],r[fa]+1);
        }
        else{
            uf[fb]=fa;
            r[fa]=max(r[fa],r[fb]+1);
        }
    }
}
int main(void){
    //freopen("data.txt","r",stdin);
    int a,b;
	while(~scanf("%d%d",&a,&b)){
        bool flag=false;
        if(a==0 && b==0){
            printf("Yes\n");
            continue;
        }
        set<int> p;
        p.insert(a);
        p.insert(b);
        for(int i=1;i<N;i++){
            uf[i]=i;
            r[i]=1;
        }
        if(a==-1 && b==-1){
            break;
        }
        join(a,b);
        while(scanf("%d%d",&a,&b) && (a || b)){
            p.insert(a);
            p.insert(b);
            //判断是否成环
            if(find(a)!=find(b)){
                join(a,b);
            }
            else{
                flag=1;
            }
        }
        //判断是否连通
        int cnt=0;
        for(set<int>::iterator it=p.begin();it!=p.end();it++){
            if(uf[*it]==*it){
                cnt++;
                if(cnt>1){
                    flag=true;
                    break;
                }
            }
        }
        if(flag){
            printf("No\n");
        }
        else{
            printf("Yes\n");
        }
    }
	return 0;
}
